Hardin, Thérèse: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Higher Order Unification via Explicit Substitutions

Gilles Dowek, Thérèse Hardin, Claude Kirchner

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 481 KB

english, 2000

2

Proof of termination of the rewriting system subst on CCL

Thérèse Hardin, Alain Laville

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 407 KB

english, 1986

3

Confluence results for the pure strong categorical logic CCL. λ-calculi as subsystems of CCL

Thérèse Hardin

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 4.50 MB

english, 1989

4

Development Life-cycle of Critical Software Under FoCaL

Philippe Ayrault, Thérèse Hardin, François Pessaux

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 352 KB

english, 2009

5

Eta-conversion for the languages of explicit substitutions

Thérèse Hardin

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1994

Language:

english

File:

PDF, 1.24 MB

english, 1994

6

Eta-conversion for the languages of explicit substitutions

Thérèse Hardin

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1995

Language:

english

File:

PDF, 36 KB

english, 1995

7

[IEEE 2008 IEEE 11th High-Assurance Systems Engineering Symposium (HASE) - Nanjing, China (2008.12.3-2008.12.5)] 2008 11th IEEE High Assurance Systems Engineering Symposium - A Few Remarks about Formal Development of Secure Systems

Jaeger, Éric, Hardin, Thérèse

Year:

2008

Language:

english

File:

PDF, 268 KB

english, 2008

8

Functional back-ends within the lambda-sigma calculus

Hardin, Thérèse, Maranget, Luc, Pagano, Bruno

Journal:

ACM SIGPLAN Notices

Year:

1996

Language:

english

File:

PDF, 883 KB

english, 1996

9

[ACM Press the first ACM SIGPLAN international conference - Philadelphia, Pennsylvania, United States (1996.05.24-1996.05.26)] Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 - Functional back-ends within the lambda-sigma calculus

Hardin, Thérèse, Maranget, Luc, Pagano, Bruno

Year:

1996

Language:

english

File:

PDF, 883 KB

english, 1996

10

Confluence properties of weak and strong calculi of explicit substitutions

Curien, Pierre-Louis, Hardin, Thérèse, Lévy, Jean-Jacques

Journal:

Journal of the ACM

Year:

1996

Language:

english

File:

PDF, 2.71 MB

english, 1996

11

Acoustic Analyses of Prolonged Vowels in Young Adults With Friedreich Ataxia

Carson, Cecyle, Ryalls, Jack, Hardin-Hollingsworth, Kaylea, Le Normand, Marie-Therese, Ruddy, Bari

Journal:

Journal of Voice

Year:

2015

Language:

english

File:

PDF, 251 KB

english, 2015

12

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator

Doligez, Damien, Faure, Christele, Hardin, Therese, Maarek, Manuel

Year:

2015

Language:

english

File:

PDF, 838 KB

english, 2015

13

Theoretical Pearl Yet yet a counterexample for λ+SP

Curien, Pierre-Louis, Hardin, Thérèse

Journal:

Journal of Functional Programming

Year:

1994

Language:

english

File:

PDF, 133 KB

english, 1994

14

Functional runtime systems within the lambda-sigma calculus

HARDIN, THÉRÈSE, MARANGET, LUC, PAGANO, BRUNO

Journal:

Journal of Functional Programming

Year:

1998

Language:

english

File:

PDF, 517 KB

english, 1998

15

HOL-λσ: an intentional first-order expression of higher-order logic

DOWEK, GILLES, HARDIN, THERESE, KIRCHNER, CLAUDE

Journal:

Mathematical Structures in Computer Science

Year:

2001

Language:

english

File:

PDF, 294 KB

english, 2001

16

[American Thoracic Society American Thoracic Society 2012 International Conference, May 18-23, 2012 â¢ San Francisco, California - ()] C66. INTEGRATED CARE AND PULMONARY REHABILITATION - Does Gender Matter? The Difference In Exercise And Functional Characteristics Between Men And Women Who Have Undergone Pulmonary Rehabilitation

Cayetano, Katherine Therese, Phuong-Nguyen, Lam, Hardin, Kimberly

Year:

2012

File:

PDF, 17 KB

2012